sin^n(x) reduction formula